
local plugins = {
  { "jamessan/vim-gnupg" },
  { "msuperdock/vim-agda" }
}

return plugins
